rCOS: Theory and Tool for Component-Based Model Driven Development
نویسندگان
چکیده
We present the roadmap of the design and progress of a theory supported tool for component-based model driven software development (CB-MDD). First the motivation for using CB-MDD, its needs for a theoretical foundation and tool support are discussed, followed by an overview of the development of the theory and a prototype tool. The initial experiences with the tool are summarized, and based on the lessons learned, the further development trajectory leading to further integration with transformation and analysis plug-ins is delineated.
منابع مشابه
Integrating Refinement into Software Development Tools
It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and componentbased development process...
متن کاملInteractive Transformations from Object-Oriented Models to Component-Based Models
Consider an object-oriented model with a class diagram, and a set of object sequence diagrams, each representing the design of object interactions for a use case. This article discusses how such an OO design model can be automatically transformed into a component-based model for the purpose of reusability, maintenance, and more importantly, distributed and independent deployment. We present the...
متن کاملSpecification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus for Refinement of Component and Object Systems. As an aid to the software engineer, the modeler helps to separate the different concerns by creating different artifacts in the UML model: use cases define a scenario t...
متن کاملRefinement and verification in component-based model-driven design
Modern software development has to deal with many different aspects and different views of applications. Thus it needs different modelling notations and tools to support more and more phases of the entire development process. To ensure the correctness of the models produced, the tools need to integrate sophisticated checkers, generators and transformations. A feasible approach to ensuring high ...
متن کاملA Model-Driven Decision Support System for Software Cost Estimation (Case Study: Projects in NASA60 Dataset)
Estimating the costs of software development is one of the most important activities in software project management. Inaccuracies in such estimates may cause irreparable loss. A low estimate of the cost of projects will result in failure on delivery on time and indicates the inefficiency of the software development team. On the other hand, high estimates of resources and costs for a project wil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009